
tập hợp tất cả các điểm (z1, z2, ..., zn) trong không gian phức n chiều thỏa mãn hệ phương trình dạng:
Fi(z1, z2, ..., zn) = 0;i = 1, 2, ..., s
trong đó Fi là các đa thức của các biến số z1, z2, ..., zn. Nếu các hệ số của Fi là số hữu tỉ (thực, phức) thì ta có ĐTĐS hữu tỉ (thực, phức). Nếu các Fi đều là bậc nhất đối với tất cả cáczj (j = 1, 2, ..., n) thì ĐTĐS gọi là đa tạp tuyến tính.
ĐTĐS cũng được định nghĩa cho trường đóng đại số bất kì.